Doczkal, Christian: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the Fourth International Workshop - Montreal, Quebec, Canada (2009.08.02-2009.08.02)] Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages Theory and Practice - LFMTP '09 - Formalizing a strong normalization proof for Moggi's computational metalanguage

Doczkal, Christian, Schwinghammer, Jan

Year:

2009

Language:

english

File:

PDF, 250 KB

english, 2009

2

Completeness and Decidability Results for CTL in Constructive Type Theory

Doczkal, Christian, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 680 KB

english, 2016

3

Regular Language Representations in the Constructive Type Theory of Coq

Doczkal, Christian, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 718 KB

english, 2018

4

[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Completeness and decidability of converse PDL in the constructive type theory of Coq

Doczkal, Christian, Bard, Joachim

Year:

2018

Language:

english

File:

PDF, 229 KB

english, 2018

5

Toward a standardized quantitative and qualitative insect monitoring scheme

Hausmann, Axel, Segerer, Andreas H., Greifenstein, Thomas, Knubben, Johannes, MoriniÃ¨re, JerÃ´me, Bozicevic, Vedran, Doczkal, Dieter, GÃ¼nter, Armin, Ulrich, Werner, Habel, Jan Christian

Journal:

Ecology and Evolution

Year:

2020

File:

PDF, 1.11 MB

2020